# -*- mode: snippet -*-
# name: Local Ltac
# --
Local Ltac $1 := $2
